FunctionCompileExport

FunctionCompileExport["file.ext",fspec] exports a compiled version of functions fspec in the format specified by the file extension ext.

FunctionCompileExport[path,defs,fspec] exports a compiled version of fspec using local auxiliary definitions defs.

FunctionCompileExport[path,fspec,"format"] exports in the specified format.

FunctionCompileExport[path,defs,fspec,"format"] exports a compiled version using local auxiliary definitions.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.